Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
61	Geometry of manifolds, lecture 7 M. Verbitsky Geometry of manifolds Lecture 7: Categories and locally trivial fibrations Add to Reading List Source URL: verbit.ru Language: English - Date: 2013-04-08 12:25:35 Algebraic topology Differential topology Homotopy theory Category theory Category Vector bundle Initial and terminal objects Sheaf Morphism Abstract algebra Topology Algebra
62	1 Linearity and nonlinearity in distributed computation Glynn Winskel Cambridge University Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-07-31 08:01:20 Algebraic topology Sheaf theory Sheaf Functor Monad Grothendieck topology Affine space Initial and terminal objects Category theory Abstract algebra Algebra
63	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
64	CTCS 2004 Preliminary Version Limit Preservation from Naturality Mario Caccamo 1 The Wellcome Trust Sanger Institute Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-08-20 07:06:00 Limit Adjoint functors Diagram Universal property Natural transformation Coproduct Product Cone Initial and terminal objects Category theory Abstract algebra Functors
65	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
66	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
67	KRULL-REMAK-SCHMIDT CATEGORIES AND PROJECTIVE COVERS HENNING KRAUSE 1. Additive categories and the radical 1.1. Products and coproducts. Let A be a category. A product of a family Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2012-05-21 19:50:48 Homological algebra Additive categories Module theory Algebraic topology Initial and terminal objects Abelian category Projective cover Sheaf Epimorphism Abstract algebra Category theory Algebra
68	A Study of Categories of Algebras and Coalgebras Jesse Hughes May, 2001 Department of Philosophy Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Functional programming F-coalgebra Coalgebra Algebraic structures Initial algebra F-algebra Monad Variety Category theory Abstract algebra Algebra
69	GT-VC[removed]An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Long Version) 1,2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2007-08-08 08:19:07 Morphisms Category Sheaf Epimorphism Initial and terminal objects Graph rewriting Additive category Multicategory Abstract algebra Mathematics Category theory
70	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics

UPDATE